Do not update paned position if it's already at the given value
authorChristian Dywan <christian@twotoasts.de>
Fri, 29 Jan 2010 15:43:15 +0000 (16:43 +0100)
committerTristan Van Berkom <tristan.van.berkom@gmail.com>
Sun, 4 Apr 2010 00:55:28 +0000 (20:55 -0400)
commitbffcae28d772fd5c2d38abec0a2e82c6765a60cb
tree72da79279252db386d5c66d73123edc8a6c290fd
parent36b1586f867f6f76d0737528b878b2e0e9db8a61
Do not update paned position if it's already at the given value

Fixes: https://bugzilla.gnome.org/show_bug.cgi?id=561816
gtk/gtkpaned.c